|
|
Reduction of CentOS operating system
Kluka, Peter Milan ; Jablončík, Lukáš (oponent) ; Komosný, Dan (vedoucí práce)
This thesis serves as a supporting material for the course Networking Operating Systems for the implementation of the course project. This project has an artificial goal which is to reduce the size of the operating system. The specified operating system was the Linux distribution CentOS Stream 8. The reduced system includes a graphical web browser, a PDF document viewer and is accessible via a remote SSH connection. The thesis compares sizes of required graphical frameworks and applications. Based on the analysis a set of scripts was created to automate the minimalization process. The resulting size of the reduced system was 678 MB.
|
|
|
New Techniques for Compact Representation of Boolean Functions
Maťufka, Ján ; Holík, Lukáš (oponent) ; Lengál, Ondřej (vedoucí práce)
Binary decision diagrams (BDDs) represent Boolean functions and are extensively used in formal verification, model checking, circuit synthesis in CAD software, etc. With more variables, however, the BDD size grows in the worst case exponentially. The aim of this thesis is to create an automata-based model for compact representation of Boolean functions. To achieve this, tree automata are used. By inserting tree automata with specific properties into the BDD structure, larger repeating patterns can be reduced. This model allows for approximately 10-20 % smaller node counts in tested benchmarks compared to the state-of-the-art models. Using a tree-automata based approach allows for creating custom automata to reduce specific patterns and thus allow for possibly even better results.
|
|
|
Reduction of CentOS operating system
Kluka, Peter Milan ; Jablončík, Lukáš (oponent) ; Komosný, Dan (vedoucí práce)
This thesis serves as a supporting material for the course Networking Operating Systems for the implementation of the course project. This project has an artificial goal which is to reduce the size of the operating system. The specified operating system was the Linux distribution CentOS Stream 8. The reduced system includes a graphical web browser, a PDF document viewer and is accessible via a remote SSH connection. The thesis compares sizes of required graphical frameworks and applications. Based on the analysis a script was created to automate the minimalization process. The resulting size of the reduced system was 650 MB.
|
|
|
Interactions of reduced and oxidized glutathione with copper, iron and zinc
Júnová, Ingrid ; Karlíčková, Jana (vedoucí práce) ; Jenčo, Jaroslav (oponent)
Univerzita Karlova Farmaceutická fakulta v Hradci Králové Katedra farmaceutickej botaniky Kandidát: Ingrid Salanciová Školiteľ: PharmDr. Jana Karlíčková, Ph.D. Názov diplomovej práce: Interakcie redukovaného a oxidovaného glutathionu s meďou, železom a zinkom Meď (Cu), železo (Fe) a zinok (Zn) sú dôležité stopové prvky, ktoré sú potrebné pre správnu funkciu tela. Prebytok, ale aj nedostatok týchto kovov môže viesť k patologickým stavom. Glutathion je hlavný antioxidant v ľudskom tele, pomáha zabrániť poškodeniu organizmu pri preťažení kovmi. V organizme sa vyskytuje v redukovanej (GSH) a oxidovanej forme (GSSG) ako glutathion disulfid, obe formy vytvárajú dôležitý redoxný systém. Glutathion, môže spomínané kovy redukovať, takže by sa mohol podieľať na tvorbe voľných radikálov (Fentonova reakcia na bázy kovu). V tejto diplomovej práci bola testovaná schopnosť redukovaného a oxidovaného glutathionu interagovať s Cu, Fe a Zn pri rôznych (pato) fyziologických podmienkach pH pomocou in vitro spektrofotometrických kompetitívnych metód. Interakcie zahŕňajú nielen chelatáciu Cu, Fe a Zn, ale aj ich redukčnú aktivitu voči katiónom Cu2+ a Fe3+ . Ako špecifické indikátory sme použili hematoxylín, disodnú soľ kyseliny bathocuproindisulfónovej, ferrozín a dithizon. Obe formy glutathionu nevykazujú žiadnu...
|
|
|
Reduction of CentOS operating system
Kluka, Peter Milan ; Jablončík, Lukáš (oponent) ; Komosný, Dan (vedoucí práce)
This thesis serves as a supporting material for the course Networking Operating Systems for the implementation of the course project. This project has an artificial goal which is to reduce the size of the operating system. The specified operating system was the Linux distribution CentOS Stream 8. The reduced system includes a graphical web browser, a PDF document viewer and is accessible via a remote SSH connection. The thesis compares sizes of required graphical frameworks and applications. Based on the analysis a set of scripts was created to automate the minimalization process. The resulting size of the reduced system was 678 MB.
|
|
|
Interactions of reduced and oxidized glutathione with copper, iron and zinc
Salanciová, Ingrid ; Karlíčková, Jana (vedoucí práce) ; Jenčo, Jaroslav (oponent)
Univerzita Karlova Farmaceutická fakulta v Hradci Králové Katedra farmaceutickej botaniky Kandidát: Ingrid Salanciová Školiteľ: PharmDr. Jana Karlíčková, Ph.D. Názov diplomovej práce: Interakcie redukovaného a oxidovaného glutathionu s meďou, železom a zinkom Meď (Cu), železo (Fe) a zinok (Zn) sú dôležité stopové prvky, ktoré sú potrebné pre správnu funkciu tela. Prebytok, ale aj nedostatok týchto kovov môže viesť k patologickým stavom. Glutathion je hlavný antioxidant v ľudskom tele, pomáha zabrániť poškodeniu organizmu pri preťažení kovmi. V organizme sa vyskytuje v redukovanej (GSH) a oxidovanej forme (GSSG) ako glutathion disulfid, obe formy vytvárajú dôležitý redoxný systém. Glutathion, môže spomínané kovy redukovať, takže by sa mohol podieľať na tvorbe voľných radikálov (Fentonova reakcia na bázy kovu). V tejto diplomovej práci bola testovaná schopnosť redukovaného a oxidovaného glutathionu interagovať s Cu, Fe a Zn pri rôznych (pato) fyziologických podmienkach pH pomocou in vitro spektrofotometrických kompetitívnych metód. Interakcie zahŕňajú nielen chelatáciu Cu, Fe a Zn, ale aj ich redukčnú aktivitu voči katiónom Cu2+ a Fe3+ . Ako špecifické indikátory sme použili hematoxylín, disodnú soľ kyseliny bathocuproindisulfónovej, ferrozín a dithizon. Obe formy glutathionu nevykazujú žiadnu...
|
host ::
RSS.